Algebraic–coalgebraic specification in CoCasl
نویسندگان
چکیده
منابع مشابه
Coalgebraic Modal Logic in CoCasl
We extend the algebraic-coalgebraic specification language CoCasl by full coalgebraic modal logic based on predicate liftings for functors. This logic is more general than the modal logic previously used in CoCasl and supports the specification of a variety of modal logics, such as graded modal logic, majority logic, and probabilistic modal logic. CoCasl thus becomes a modern modal language tha...
متن کاملIterative Circular Coinduction for CoCasl in Isabelle/HOL
Coalgebra has in recent years been recognized as the framework of choice for the treatment of reactive systems at an appropriate level of generality. Proofs about the reactive behavior of a coalgebraic system typically rely on the method of coinduction. In comparison to ‘traditional’ coinduction, which has the disadvantage of requiring the invention of a bisimulation relation, the method of cir...
متن کاملAlmost specification and renewality in spacing shifts
Let $(Sigma_P,sigma_P)$ be the space of a spacing shifts where $Psubset mathbb{N}_0=mathbb{N}cup{0}$ and $Sigma_P={sin{0,1}^{mathbb{N}_0}: s_i=s_j=1 mbox{ if } |i-j|in P cup{0}}$ and $sigma_P$ the shift map. We will show that $Sigma_P$ is mixing if and only if it has almost specification property with at least two periodic points. Moreover, we show that if $h(sigma_P)=0$, then $Sigma_...
متن کاملArea-Specification affected by Industrial-Mineral Pollution in Isfahan Province
Air pollution is a consequence of human activities, especially in the period after industrial revolution, which has many (direct and indirect) effects on the human and the environment around him. Among different kinds of pollutions, those related to industries and mines are much more dangerous. Therefore, it is necessary to identify these pollutions and specify them so as to reduce the harmful ...
متن کاملAlgebraic-Coalgebraic Specification in Co Casl
We introduce CoCasl as a light-weight but expressive coalgebraic extension of the algebraic specification language Casl. CoCasl allows the nested combination of algebraic datatypes and coalgebraic process types. Moreover, it provides syntactic sugar for an observer-indexed modal logic that allows e.g. expressing fairness properties. This logic includes a generic definition of modal operators fo...
متن کاملذخیره در منابع من
با ذخیره ی این منبع در منابع من، دسترسی به آن را برای استفاده های بعدی آسان تر کنید
ژورنال
عنوان ژورنال: The Journal of Logic and Algebraic Programming
سال: 2006
ISSN: 1567-8326
DOI: 10.1016/j.jlap.2005.09.006